翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Schur-Zassenhaus theorem : ウィキペディア英語版
Schur–Zassenhaus theorem
The Schur–Zassenhaus theorem is a theorem in group theory which states that if G is a finite group, and N is a normal subgroup whose order is coprime to the order of the quotient group G/N, then G is a semidirect product (or split extension) of N and G/N. An alternative statement of the theorem is that any normal Hall subgroup N of a finite group G has a complement in G. Moreover if either N or G/N is solvable then the Schur–Zassenhaus theorem also states that all complements of N in G are conjugate. The assumption that either N or G/N is solvable can be dropped as it is always satisfied, but all known proofs of this require the use of the much harder Feit-Thompson theorem.
The Schur–Zassenhaus theorem at least partially answers the question: "In a composition series, how can we classify groups with a certain set of composition factors?" The other part, which is where the composition factors do not have coprime orders, is tackled in extension theory.
==History==
The Schur–Zassenhaus theorem was introduced by . Theorem 25, which he credits to Issai Schur, proves the existence of a complement, and theorem 27 proves that all complements are conjugate under the assumption that N or G/N is solvable. It is not easy to find an explicit statement of the existence of a complement in Schur's published works, though the results of on the Schur multiplier imply the existence of a complement in the special case when the normal subgroup is in the center. Zassenhaus pointed out that the Schur–Zassenhaus theorem for non-solvable groups would follow if all groups of odd order are solvable, which was later proved by Feit and Thompson. Ernst Witt showed that it would also follow from the Schreier conjecture (see for Witt's unpublished 1937 note about this), but the Schreier conjecture has only been proved using the classification of finite simple groups, which is far harder than the Feit–Thompson theorem.
==Examples==
If we do not impose the coprime condition, the theorem is not true: consider for example the cyclic group C_4 and its normal subgroup C_2. Then if C_4 were a semidirect product of C_2 and C_4 / C_2 \cong C_2 then C_4 would have to contain two elements of order 2, but it only contains one. Another way to explain this impossibility of splitting C_4 (i.e. expressing it as a semidirect product) is to observe that the automorphisms of C_2 are the trivial group, so the only possible ()direct product of C_2 with itself is a direct product (which gives rise to the Klein four-group, a group that is non-isomorphic with C_4).
An example where the Schur–Zassenhaus theorem does apply is the symmetric group on 3 symbols, S_3, which has a normal subgroup of order 3 (isomorphic with C_3) which in turn has index 2 in S_3 (in agreement with the theorem of Lagrange), so S_3 / C_3 \cong C_2. Since 2 and 3 are relatively prime, the Schur–Zassenhaus theorem applies and S_3 \cong C_3 \rtimes C_2. Note that the automorphism group of C_3 is C_2 and the automorphism of C_3 used in the semidirect product that gives rise to S_3 is the non-trivial automorphism that permutes the two non-identity elements of C_3. Furthermore, the three subgroups of order 2 in S_3 (any of which can serve as a complement to C_3 in S_3) are conjugate to each other.
The non-triviality of the (additional) conjugacy conclusion can be illustrated with the Klein four-group V as the non-example. Any of the three proper subgroups of V (all of which have order 2) is normal in V; fixing one of these subgroups, any of the other two remaining (proper) subgroups complements it in V, but none of these three subgroups of V is a conjugate of any other one, because V is Abelian.
The quaternion group has normal subgroups of order 4 and 2 but is not a ()direct product. Schur's papers at the beginning of the 20th century introduced the notion of central extension to address examples such as such C_4 and the quaternions.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Schur–Zassenhaus theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.